航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向.     

基于Visual Basic的互感器负荷箱测量仪校准系统的实现

为解决互感器负荷箱测量仪同相分量和正交分量的校准问题,在分析互感器负荷箱测量仪工作原理的基础上,设计了基于电子/电工组合式的互感器负荷箱测量仪校准装置,并简要说明装置电工部分、电子部分以及上位机软件的实现。经省级计量研究院验证结果表明,该装置校准结果符合0.2级要求,可作为标准装置解决1级互感器负荷箱测量仪量值溯源问题。     

飞机变形自动化测量方法研究

为解决以往飞机变形测量模式中人工干预较多,受测量环境影响较大,测量时间长等问题,基于Geo COM技术和RS232,在计算机与全站仪之间进行数据交换,设计了一套自动化测量系统。在测量过程中由标志点的机体理论坐标反算其在当前测站中的极坐标,从而在测量过程中驱动全站仪指向待测点,减少人工瞄准时间,并由计算机实时解算结果数据。经实际飞行试验验证表明,测量时间缩短为原来时间一半,大大提高了工作效率。     

先进航发旋转雾化喷嘴制造技术

喷射油道是一种高精度旋转雾化喷嘴,其非连续窄深端槽、窄深槽、3/4圆弧窄端槽为行业内少见结构.通过分析喷射油道特有结构的加工工艺,摸索油孔尺寸与燃油流量的匹配关系,解决了非连续深窄端槽、窄深槽、细微孔电火花成形加工、3/4圆弧窄端槽高效数控加工、高精度喷嘴孔流量调试等关键技术瓶颈,具有一定的指导意义和广阔的应用前景.     

飞机重心位置的计算分析方法

飞机重心位置对飞机的安定性和操纵性影响很大.不在飞机重心允许范围内装货或载客时,会使飞机操纵性和安定性变差,影响飞行安全.飞机重心位置计算分析是新型飞机研制、现役飞机加改(换)装设计等工程中必不可少的一个重要环节.以某型现役飞机进口短波单边带电台换装国产短波自适应/跳频电台工程作为研究对象,研究了基于力矩平衡法的飞机重心位置计算方法,计算了该型飞机换装短波电台后空机重心位置.计算结果表明,该型飞机进口短波电台换装国产短波电台后,空机状态下的重心位置满足重心允许范围要求.     

共面变相位星座多目标交汇序列优化方法

针对空间多目标交汇时空约束繁杂、轨道能量影响变量多的特点,从空间几何解析法入手,提出基于穿越点的共面变相位交汇方法,在Lambert椭圆轨道机动的基础上,给出了机动装置共面变轨相位快速确定方法,总结了变轨速度需求以及运载段分离条件已知情况下相位角和转移时间的包络区,并基于覆盖效能对目标发射序列进行了优化,仿真验证了相关结论,得到的结果符合预期。     

基于改进FCM的北斗三频组合观测值选取

以北斗卫星导航系统三频双差为基础探讨了组合观测值及误差,针对以往采用聚类方法在研究GPS三频组合数据过程中的不足,提出了基于距离修正的增量模糊C均值算法.通过调节因子有效地修正了样本中心与聚类中心的距离,获得合理的隶属度,从而得到正确的分类;构造了基于距离修正的聚类有效性指标,自动获取最佳聚类数,避免了人为确定聚类数的不合理性;在此基础上引入增量的思想,数据增加时以原有的数据集为基础,根据阈值进行归类,不需要重新进行初始计算.通过矩阵变换法及实例验证了该方法的可行性和可靠性.     

机载嵌入式可重构信号处理系统设计

为使机载嵌入式信号处理系统性能更加均衡,更好地适应机载嵌入式环境,在比较三种传统的机栽信号处理系统架构的基础上,提出了一种系统可伸缩、功能可重构的信号处理系统架构,并分析了其系统特性和关键技术。从可编程能力、处理性能、通用性以及可扩展性等方面比较了三种信号处理系统架构,结果表明:可重构信号处理系统架构具有较强的综合性能,能更好地满足机载嵌入式应用的需求。     

深化失效学的哲学理念探索,强化材料失效交叉技术研究

力图从哲学的高度,对失效学的认识论、矛盾论、系统论和方法论进行简要的阐释,从中提出一些要点,并对失效学哲学理念在失效事故分析诊断预防技术中的应用提出建议,为深化失效学的哲学理念探讨奠定初步基础。从失效学的理论基础、应用基础和工程技术等3个方面总结提出了失效学的理论和技术体系,为失效学的体系建设提供了技术框架;还从材料服役前、使用中和失效后等3个阶段归纳了材料失效交叉技术领域中的科学问题或关键技术,为加强其交叉技术的研究提炼出了若干重点方向。     

目的论视角下服装品牌的翻译

随着全球化飞速发展,海内外服装贸易竞争日益激烈,服装品牌的译名日益显示出其重要性。以服装类品牌为研究对象,旨在探讨目的论下的服装品牌的翻译策略。目的论认为,目的原则是翻译中的首要原则。经分析发现,为使译名达到传达信息、传递美感或呼唤消费的目的,译者在翻译时应灵活运用音译、直译、意译、音意译几种译法,创造出达意传神、刺激消费的译名。